<% /* Copyright 2009 Google Inc.

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

     http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS-IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License. */ %><% helpers.setHtmlTitle("Shell") %>

<p style="margin-top: 0; color: red;">Warning!  Be careful with this page.</p>

<h3 class="top">Shell</h3>

<p>Enter command:</p>

<form action="<%= request.path %>" method="post">
  <textarea name="cmd" style="width: 100%; height: 140px;"><%= oldCmd %></textarea>
  <input type="submit" value="Run" />
</form>

<% if (result) { %>
  <h3>Result</h3>
  <div style="font-family: monospace; border: 1px solid #66f; padding: 1em;">
    <%= result %>
  </div>
  <p style="color: #888; font-family: monospace; font-size: .7em;">Computed in <%= elapsedMs %>ms.</p>
<% } %>

